perfect reduced field of set

完全归约集合体